\(\int \frac {\cosh ^3(c+d x)}{(e+f x) (a+i a \sinh (c+d x))} \, dx\) [269]

   Optimal result
   Rubi [A] (verified)
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [F]
   Maxima [F(-2)]
   Giac [A] (verification not implemented)
   Mupad [F(-1)]

Optimal result

Integrand size = 31, antiderivative size = 131 \[ \int \frac {\cosh ^3(c+d x)}{(e+f x) (a+i a \sinh (c+d x))} \, dx=\frac {\cosh \left (c-\frac {d e}{f}\right ) \text {Chi}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {i \text {Chi}\left (\frac {2 d e}{f}+2 d x\right ) \sinh \left (2 c-\frac {2 d e}{f}\right )}{2 a f}+\frac {\sinh \left (c-\frac {d e}{f}\right ) \text {Shi}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {i \cosh \left (2 c-\frac {2 d e}{f}\right ) \text {Shi}\left (\frac {2 d e}{f}+2 d x\right )}{2 a f} \]

[Out]

Chi(d*e/f+d*x)*cosh(c-d*e/f)/a/f-1/2*I*cosh(2*c-2*d*e/f)*Shi(2*d*e/f+2*d*x)/a/f-1/2*I*Chi(2*d*e/f+2*d*x)*sinh(
2*c-2*d*e/f)/a/f+Shi(d*e/f+d*x)*sinh(c-d*e/f)/a/f

Rubi [A] (verified)

Time = 0.23 (sec) , antiderivative size = 131, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.194, Rules used = {5682, 3384, 3379, 3382, 5556, 12} \[ \int \frac {\cosh ^3(c+d x)}{(e+f x) (a+i a \sinh (c+d x))} \, dx=-\frac {i \sinh \left (2 c-\frac {2 d e}{f}\right ) \text {Chi}\left (\frac {2 d e}{f}+2 d x\right )}{2 a f}+\frac {\cosh \left (c-\frac {d e}{f}\right ) \text {Chi}\left (\frac {d e}{f}+d x\right )}{a f}+\frac {\sinh \left (c-\frac {d e}{f}\right ) \text {Shi}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {i \cosh \left (2 c-\frac {2 d e}{f}\right ) \text {Shi}\left (\frac {2 d e}{f}+2 d x\right )}{2 a f} \]

[In]

Int[Cosh[c + d*x]^3/((e + f*x)*(a + I*a*Sinh[c + d*x])),x]

[Out]

(Cosh[c - (d*e)/f]*CoshIntegral[(d*e)/f + d*x])/(a*f) - ((I/2)*CoshIntegral[(2*d*e)/f + 2*d*x]*Sinh[2*c - (2*d
*e)/f])/(a*f) + (Sinh[c - (d*e)/f]*SinhIntegral[(d*e)/f + d*x])/(a*f) - ((I/2)*Cosh[2*c - (2*d*e)/f]*SinhInteg
ral[(2*d*e)/f + 2*d*x])/(a*f)

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 3379

Int[sin[(e_.) + (Complex[0, fz_])*(f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[I*(SinhIntegral[c*f*(fz/
d) + f*fz*x]/d), x] /; FreeQ[{c, d, e, f, fz}, x] && EqQ[d*e - c*f*fz*I, 0]

Rule 3382

Int[sin[(e_.) + (Complex[0, fz_])*(f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[CoshIntegral[c*f*(fz/d)
+ f*fz*x]/d, x] /; FreeQ[{c, d, e, f, fz}, x] && EqQ[d*(e - Pi/2) - c*f*fz*I, 0]

Rule 3384

Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Dist[Cos[(d*e - c*f)/d], Int[Sin[c*(f/d) + f*x]
/(c + d*x), x], x] + Dist[Sin[(d*e - c*f)/d], Int[Cos[c*(f/d) + f*x]/(c + d*x), x], x] /; FreeQ[{c, d, e, f},
x] && NeQ[d*e - c*f, 0]

Rule 5556

Int[Cosh[(a_.) + (b_.)*(x_)]^(p_.)*((c_.) + (d_.)*(x_))^(m_.)*Sinh[(a_.) + (b_.)*(x_)]^(n_.), x_Symbol] :> Int
[ExpandTrigReduce[(c + d*x)^m, Sinh[a + b*x]^n*Cosh[a + b*x]^p, x], x] /; FreeQ[{a, b, c, d, m}, x] && IGtQ[n,
 0] && IGtQ[p, 0]

Rule 5682

Int[(Cosh[(c_.) + (d_.)*(x_)]^(n_)*((e_.) + (f_.)*(x_))^(m_.))/((a_) + (b_.)*Sinh[(c_.) + (d_.)*(x_)]), x_Symb
ol] :> Dist[1/a, Int[(e + f*x)^m*Cosh[c + d*x]^(n - 2), x], x] + Dist[1/b, Int[(e + f*x)^m*Cosh[c + d*x]^(n -
2)*Sinh[c + d*x], x], x] /; FreeQ[{a, b, c, d, e, f, m}, x] && IGtQ[n, 1] && EqQ[a^2 + b^2, 0]

Rubi steps \begin{align*} \text {integral}& = -\frac {i \int \frac {\cosh (c+d x) \sinh (c+d x)}{e+f x} \, dx}{a}+\frac {\int \frac {\cosh (c+d x)}{e+f x} \, dx}{a} \\ & = -\frac {i \int \frac {\sinh (2 c+2 d x)}{2 (e+f x)} \, dx}{a}+\frac {\cosh \left (c-\frac {d e}{f}\right ) \int \frac {\cosh \left (\frac {d e}{f}+d x\right )}{e+f x} \, dx}{a}+\frac {\sinh \left (c-\frac {d e}{f}\right ) \int \frac {\sinh \left (\frac {d e}{f}+d x\right )}{e+f x} \, dx}{a} \\ & = \frac {\cosh \left (c-\frac {d e}{f}\right ) \text {Chi}\left (\frac {d e}{f}+d x\right )}{a f}+\frac {\sinh \left (c-\frac {d e}{f}\right ) \text {Shi}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {i \int \frac {\sinh (2 c+2 d x)}{e+f x} \, dx}{2 a} \\ & = \frac {\cosh \left (c-\frac {d e}{f}\right ) \text {Chi}\left (\frac {d e}{f}+d x\right )}{a f}+\frac {\sinh \left (c-\frac {d e}{f}\right ) \text {Shi}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\left (i \cosh \left (2 c-\frac {2 d e}{f}\right )\right ) \int \frac {\sinh \left (\frac {2 d e}{f}+2 d x\right )}{e+f x} \, dx}{2 a}-\frac {\left (i \sinh \left (2 c-\frac {2 d e}{f}\right )\right ) \int \frac {\cosh \left (\frac {2 d e}{f}+2 d x\right )}{e+f x} \, dx}{2 a} \\ & = \frac {\cosh \left (c-\frac {d e}{f}\right ) \text {Chi}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {i \text {Chi}\left (\frac {2 d e}{f}+2 d x\right ) \sinh \left (2 c-\frac {2 d e}{f}\right )}{2 a f}+\frac {\sinh \left (c-\frac {d e}{f}\right ) \text {Shi}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {i \cosh \left (2 c-\frac {2 d e}{f}\right ) \text {Shi}\left (\frac {2 d e}{f}+2 d x\right )}{2 a f} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.52 (sec) , antiderivative size = 112, normalized size of antiderivative = 0.85 \[ \int \frac {\cosh ^3(c+d x)}{(e+f x) (a+i a \sinh (c+d x))} \, dx=\frac {2 \cosh \left (c-\frac {d e}{f}\right ) \text {Chi}\left (d \left (\frac {e}{f}+x\right )\right )-i \left (\text {Chi}\left (\frac {2 d (e+f x)}{f}\right ) \sinh \left (2 c-\frac {2 d e}{f}\right )+2 i \sinh \left (c-\frac {d e}{f}\right ) \text {Shi}\left (d \left (\frac {e}{f}+x\right )\right )+\cosh \left (2 c-\frac {2 d e}{f}\right ) \text {Shi}\left (\frac {2 d (e+f x)}{f}\right )\right )}{2 a f} \]

[In]

Integrate[Cosh[c + d*x]^3/((e + f*x)*(a + I*a*Sinh[c + d*x])),x]

[Out]

(2*Cosh[c - (d*e)/f]*CoshIntegral[d*(e/f + x)] - I*(CoshIntegral[(2*d*(e + f*x))/f]*Sinh[2*c - (2*d*e)/f] + (2
*I)*Sinh[c - (d*e)/f]*SinhIntegral[d*(e/f + x)] + Cosh[2*c - (2*d*e)/f]*SinhIntegral[(2*d*(e + f*x))/f]))/(2*a
*f)

Maple [A] (verified)

Time = 33.33 (sec) , antiderivative size = 180, normalized size of antiderivative = 1.37

method result size
risch \(-\frac {{\mathrm e}^{-\frac {c f -d e}{f}} \operatorname {Ei}_{1}\left (d x +c -\frac {c f -d e}{f}\right )}{2 a f}-\frac {{\mathrm e}^{\frac {c f -d e}{f}} \operatorname {Ei}_{1}\left (-d x -c -\frac {-c f +d e}{f}\right )}{2 a f}+\frac {i {\mathrm e}^{\frac {2 c f -2 d e}{f}} \operatorname {Ei}_{1}\left (-2 d x -2 c -\frac {2 \left (-c f +d e \right )}{f}\right )}{4 a f}-\frac {i {\mathrm e}^{-\frac {2 \left (c f -d e \right )}{f}} \operatorname {Ei}_{1}\left (2 d x +2 c -\frac {2 \left (c f -d e \right )}{f}\right )}{4 a f}\) \(180\)

[In]

int(cosh(d*x+c)^3/(f*x+e)/(a+I*a*sinh(d*x+c)),x,method=_RETURNVERBOSE)

[Out]

-1/2/a/f*exp(-(c*f-d*e)/f)*Ei(1,d*x+c-(c*f-d*e)/f)-1/2/a/f*exp((c*f-d*e)/f)*Ei(1,-d*x-c-(-c*f+d*e)/f)+1/4*I/a/
f*exp(2*(c*f-d*e)/f)*Ei(1,-2*d*x-2*c-2*(-c*f+d*e)/f)-1/4*I/a/f*exp(-2*(c*f-d*e)/f)*Ei(1,2*d*x+2*c-2*(c*f-d*e)/
f)

Fricas [A] (verification not implemented)

none

Time = 0.24 (sec) , antiderivative size = 127, normalized size of antiderivative = 0.97 \[ \int \frac {\cosh ^3(c+d x)}{(e+f x) (a+i a \sinh (c+d x))} \, dx=\frac {i \, {\rm Ei}\left (-\frac {2 \, {\left (d f x + d e\right )}}{f}\right ) e^{\left (\frac {2 \, {\left (d e - c f\right )}}{f}\right )} + 2 \, {\rm Ei}\left (-\frac {d f x + d e}{f}\right ) e^{\left (\frac {d e - c f}{f}\right )} + 2 \, {\rm Ei}\left (\frac {d f x + d e}{f}\right ) e^{\left (-\frac {d e - c f}{f}\right )} - i \, {\rm Ei}\left (\frac {2 \, {\left (d f x + d e\right )}}{f}\right ) e^{\left (-\frac {2 \, {\left (d e - c f\right )}}{f}\right )}}{4 \, a f} \]

[In]

integrate(cosh(d*x+c)^3/(f*x+e)/(a+I*a*sinh(d*x+c)),x, algorithm="fricas")

[Out]

1/4*(I*Ei(-2*(d*f*x + d*e)/f)*e^(2*(d*e - c*f)/f) + 2*Ei(-(d*f*x + d*e)/f)*e^((d*e - c*f)/f) + 2*Ei((d*f*x + d
*e)/f)*e^(-(d*e - c*f)/f) - I*Ei(2*(d*f*x + d*e)/f)*e^(-2*(d*e - c*f)/f))/(a*f)

Sympy [F]

\[ \int \frac {\cosh ^3(c+d x)}{(e+f x) (a+i a \sinh (c+d x))} \, dx=- \frac {i \int \frac {\cosh ^{3}{\left (c + d x \right )}}{e \sinh {\left (c + d x \right )} - i e + f x \sinh {\left (c + d x \right )} - i f x}\, dx}{a} \]

[In]

integrate(cosh(d*x+c)**3/(f*x+e)/(a+I*a*sinh(d*x+c)),x)

[Out]

-I*Integral(cosh(c + d*x)**3/(e*sinh(c + d*x) - I*e + f*x*sinh(c + d*x) - I*f*x), x)/a

Maxima [F(-2)]

Exception generated. \[ \int \frac {\cosh ^3(c+d x)}{(e+f x) (a+i a \sinh (c+d x))} \, dx=\text {Exception raised: RuntimeError} \]

[In]

integrate(cosh(d*x+c)^3/(f*x+e)/(a+I*a*sinh(d*x+c)),x, algorithm="maxima")

[Out]

Exception raised: RuntimeError >> ECL says: THROW: The catch RAT-ERR is undefined.

Giac [A] (verification not implemented)

none

Time = 0.28 (sec) , antiderivative size = 144, normalized size of antiderivative = 1.10 \[ \int \frac {\cosh ^3(c+d x)}{(e+f x) (a+i a \sinh (c+d x))} \, dx=-\frac {{\left (i \, {\rm Ei}\left (\frac {2 \, {\left (d f x + d e\right )}}{f}\right ) e^{\left (4 \, c - \frac {2 \, d e}{f}\right )} - 2 \, {\rm Ei}\left (\frac {d f x + d e}{f}\right ) e^{\left (3 \, c - \frac {d e}{f}\right )} - 2 \, {\rm Ei}\left (-\frac {d f x + d e}{f}\right ) e^{\left (c + \frac {d e}{f}\right )} - i \, {\rm Ei}\left (-\frac {2 \, {\left (d f x + d e\right )}}{f}\right ) e^{\left (\frac {2 \, d e}{f}\right )} + 3 i \, e^{\left (2 \, c\right )} \log \left (f x + e\right ) - 3 i \, e^{\left (2 \, c\right )} \log \left (i \, f x + i \, e\right )\right )} e^{\left (-2 \, c\right )}}{4 \, a f} \]

[In]

integrate(cosh(d*x+c)^3/(f*x+e)/(a+I*a*sinh(d*x+c)),x, algorithm="giac")

[Out]

-1/4*(I*Ei(2*(d*f*x + d*e)/f)*e^(4*c - 2*d*e/f) - 2*Ei((d*f*x + d*e)/f)*e^(3*c - d*e/f) - 2*Ei(-(d*f*x + d*e)/
f)*e^(c + d*e/f) - I*Ei(-2*(d*f*x + d*e)/f)*e^(2*d*e/f) + 3*I*e^(2*c)*log(f*x + e) - 3*I*e^(2*c)*log(I*f*x + I
*e))*e^(-2*c)/(a*f)

Mupad [F(-1)]

Timed out. \[ \int \frac {\cosh ^3(c+d x)}{(e+f x) (a+i a \sinh (c+d x))} \, dx=\int \frac {{\mathrm {cosh}\left (c+d\,x\right )}^3}{\left (e+f\,x\right )\,\left (a+a\,\mathrm {sinh}\left (c+d\,x\right )\,1{}\mathrm {i}\right )} \,d x \]

[In]

int(cosh(c + d*x)^3/((e + f*x)*(a + a*sinh(c + d*x)*1i)),x)

[Out]

int(cosh(c + d*x)^3/((e + f*x)*(a + a*sinh(c + d*x)*1i)), x)